projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e91c2a) | patch
flask/policy: Policy build updates
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:20:40 +0000 (15:20 +0000)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Thu, 2 Feb 2012 15:20:40 +0000 (15:20 +0000)
commit99c53075b8320ec0dd0c53ba88bc8ab6f4a1a3cf
tree40bc997ec37fbc85f1e28b1e3f40570857f66e77tree | snapshot
parent2e91c2a74db0de8342f26dbb35bf74fd46d8de75commit | diff
flask/policy: Policy build updates

Eliminate temporary files used in creating FLASK policy to improve
error reporting during policy build. Syntax errors now point to the
file and line number visible to the user, not the intermediate
temporary file.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
tools/flask/policy/Makefile diff | blob | history
tools/flask/policy/policy/initial_sids [new file with mode: 0644] blob
tools/flask/policy/policy/modules/xen/xen.te diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.